Nuprl Definition : band 9,38

p  q == if p then q else ff fi  
latex


Definitionsif b then t else f fi , ff

origin